The Data The Formal System Criticism The Data The Formal System Criticism Outline

Source URL: williamstarr.net

FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

Source URL: heim.ifi.uio.no

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

SAFECOMP 2015 Conference Programme September 23-25, 2015 TU Delft Congress Centre MekelwegCC Delft

Source URL: safecomp2015.tudelft.nl

• Safety
• Formal methods
• Control engineering
• Computer systems
• Software quality
• Session
• Computer security
• Embedded system
• Life-critical system
• Safety case
• Systems engineering
• Automobile safety

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1

Source URL: www.stance-project.eu

A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

Source URL: www.cs.princeton.edu

• Mathematical logic
• Software engineering
• Logic
• Formal languages
• Computability theory
• Models of computation
• Lambda calculus
• Formal methods
• Interpretation
• Syntactic predicate
• System F
• Monad

Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´

Source URL: www.lsv.ens-cachan.fr

Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem

Source URL: www.delph-in.net

• Grammar
• Cognitive science
• Syntax
• Linguistics
• Language
• Formal languages
• Generative linguistics
• Compiler construction
• Head-driven phrase structure grammar
• Thesis
• Formal grammar
• Parsing

InPhO: A System for Collaboratively Populating and ∗ Extending a Dynamic Ontology Mathias Niepert, Cameron Buckner, Jaimie Murdock and Colin Allen Indiana University Bloomington, Indiana, USA

Source URL: www.jamram.net

• Ontology
• Semantic Web
• Information science
• Computing
• Technical communication
• Information
• Knowledge representation
• Formal ontology
• Web Ontology Language
• Indiana Philosophy Ontology Project
• Cyc
• Upper ontology

Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment: an Industrial Case Study using VDM Takayuki Mori1,2 1

Source URL: wiki.overturetool.org